---

semantic logic notation

英 [sɪˈmæntɪk ˈlɒdʒɪk nəʊˈteɪʃn] 美 [sɪˈmæntɪk ˈlɑːdʒɪk noʊˈteɪʃn]

【计】语义逻辑表示法

计算机

---

---